Corrigendum to: When is a sum of annihilator ideals an annihilator ideal?

In this corrigendum, we correct the statement and proof of Lemma 3.2, revise the proofs of Lemma 3.3 and Theorem 3.5, retract Proposition 3.10 and correct several typographical errors.     

Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.     

Static Charge Susceptibility in the <Emphasis Type="Italic">t-J-V</Emphasis> Model

We describe the static charge susceptibility and correlation function of the charge density in the twodimensional t-J-V model based on the method of equations of motion for the relaxation functions of the Hubbard operators. We obtain the dependence of the susceptibility and correlation function on the hole concentration and temperature. Charge density waves can develop if the intersite Coulomb interaction is sufficiently strong.     

Electroosmosis modulated peristaltic biorheological flow through an asymmetric microchannel: mathematical model

A theoretical study is presented of peristaltic hydrodynamics of an aqueous electrolytic non-Newtonian Jeffrey bio-rheological fluid through an asymmetric microchannel under an applied axial electric field. An analytical approach is adopted to obtain the closed form solution for velocity, volumetric flow, pressure difference and stream function. The analysis is also restricted under the low Reynolds number assumption (Stokes flow) and lubrication theory approximations (large wavelength). Small ionic Peclét number and Debye–Hückel linearization (i.e. wall zeta potential ≤ 25 mV) are also considered to simplify the Nernst–Planck and Poisson–Boltzmann equations. Streamline plots are also presented for the different electro-osmotic parameter, varying magnitudes of the electric field (both aiding and opposing cases) and for different values of the ratio of relaxation to retardation time parameter. Comparisons are also included between the Newtonian and general non-Newtonian Jeffrey fluid cases. The results presented here may be of fundamental interest towards designing lab-on-a-chip devices for flow mixing, cell manipulation, micro-scale pumps etc. Trapping is shown to be more sensitive to an electric field (aiding, opposing and neutral) rather than the electro-osmotic parameter and viscoelastic relaxation to retardation ratio parameter. The results may also help towards the design of organ-on-a-chip like devices for better drug design.     

A Framework for Characterizing Structural Uncertainty in Large-Eddy Simulation Closures

Motivated by the sizable increase of available computing resources, large-eddy simulation of complex turbulent flow is becoming increasingly popular. The underlying filtering operation of this approach enables to represent only large-scale motions. However, the small-scale fluctuations and their effects on the resolved flow field require additional modeling. As a consequence, the assumptions made in the closure formulations become potential sources of incertitude that can impact the quantities of interest. The objective of this work is to introduce a framework for the systematic estimation of structural uncertainty in large-eddy simulation closures. In particular, the methodology proposed is independent of the initial model form, computationally efficient, and suitable to general flow solvers. The approach is based on introducing controlled perturbations to the turbulent stress tensor in terms of magnitude, shape and orientation, such that propagation of their effects can be assessed. The framework is rigorously described, and physically plausible bounds for the perturbations are proposed. As a means to test its performance, a comprehensive set of numerical experiments are reported for which physical interpretation of the deviations in the quantities of interest are discussed.     

Multi-scale Fractured Coal Gas–Solid Coupling Model and Its Applications in Engineering Projects

With coal mining entering the geological environment of “high stress, rich gas, strong adsorption and low permeability,” the difficulty of joint coal and gas extraction clearly augments, the risk of solid–gas coupling dynamic disasters greatly increases, and the underlying mechanisms become more complex. In this paper, based on the characteristics of coal’s multi-scale structure and spatiotemporal variation, the multi-scale fractured coal gas–solid coupling model (MSFM) was built. In this model, the interaction between coal matrix and its fractures and the mechanical characteristics of gas-bearing coal were considered, as well as their coupling relationship. By MATLAB software, the stress–damage–seepage numerical computation programs were developed, which were applied into Comsol Multiphysics to simulate gas flow caused by coal mining. The simulation results showed the spatial variability of coal elastic modulus and cross-flow behaviors of coal seam gas, which were superior to the results of traditional gas–solid coupling model. And the numerical results obtained from MSFM were closer to the measured results in field, while the computation results of traditional model were slightly higher than the measured results. Furthermore, the MSFM in a large scale was verified by field engineering project.